Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences
نویسندگان
چکیده
This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly focuses on reasoning about qualitative spatial relations alone, we integrate quantitative and qualitative information with terminological reasoning. This theory is motivated as basis for knowledge representation and query processing for instance in the domain of deductive geographic information systems.
منابع مشابه
Terminological Default Reasoning about Spatial Information: A First Step
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic language called ALCRP(S2), which is briefly introduced, we discuss algorithms for computing so-called extensions (“possible worlds”) of a world description and a set of defaults. We conclude with an application of the the...
متن کاملFoundations of Spatioterminological Reasoning with Description Logics
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning about qualitative spatial relations alone, we integrate quantitative and qualitative information with terminological reasoning. For spatioterminological reasoning we present the description logic ALCRP(D) and define an app...
متن کاملType Extensibility of a Knowledge Representation System with Powersets
This paper deals with krss (knowledge representation systems) close to frame systems including description logic and object-based systems. The main relation that leads to inferences is subsumption which is usually computed over knowledge descriptions that refer to data types. Although subsumption between knowledge terms is well-deened, its implementation on external data types depends upon the ...
متن کاملN 9 3 - 2 9 5 2 2 Approximate Reasoning Using Terminological
^ --Term Subsumption Systems (TSS) form a knowledge representation scheme in AI that can express the defining characteristics of concepts through a formal language that has a well-defined semantics and incorporates a reasoning mechanism that can deduce whether one concept subsumes another. However, TSS have very limited ability to deal with the issue of uncertainty in knowledge bases. The objec...
متن کاملN 9 3 - 2 9 5 2 2 Approximate Reasoning Using Terminological Models
^ --Term Subsumption Systems (TSS) form a knowledge representation scheme in AI that can express the defining characteristics of concepts through a formal language that has a well-defined semantics and incorporates a reasoning mechanism that can deduce whether one concept subsumes another. However, TSS have very limited ability to deal with the issue of uncertainty in knowledge bases. The objec...
متن کامل